package test;

import java.util.Random;
import java.util.regex.Pattern;

import daikon.config.Configuration;

public class JMLtest {
    public static void main(String[] args) {
    	for(int i=0; i<20; i++) {
            ForStaticM fs1 = new ForStaticM();
            ForStaticM fs2 = new ForStaticM();
            ForStaticM fs3 = new ForStaticM();
            ForStaticM fs4 = new ForStaticM();
           
            fs1.a = 128;
            fs1.f1(4);
            fs2.a = 256;
            fs2.f1(8);
            fs3.a = 512;
            fs3.f1(16);
            fs4.a = 1024;
            fs4.f1(32);

            ForStaticM fs5 = new ForStaticM();
            ForStaticM fs6 = new ForStaticM();
            ForStaticM fs7 = new ForStaticM();
            ForStaticM fs8 = new ForStaticM();

            fs5.a = 64;
            fs5.f2(2);
            fs6.a = 1;
            fs6.f2(0);
            fs7.a = 2048;
            fs7.f2(8);
            fs8.a = 23;
            fs8.f2(53);
           
            ForField fs9 = new ForField();
            ForField fs10 = new ForField();
            ForField fs11 = new ForField();
            ForField fs12 = new ForField();
           
            fs9.b = 8;
            fs9.d.a = 4096;
            fs9.f3(16);
            fs10.b = 18;
            fs10.d.a = 512;
            fs10.f3(4);
            fs11.b = 19;
            fs11.d.a = 536;
            fs11.f3(29);
            fs12.b = 22;
            fs12.d.a = 565;
            fs12.f3(81);
    	}
    }
}